790 research outputs found
Exploring Disaster Preparedness for the Aging Population
Older adults are encountering harsh recovery after disasters, and compounding this problem is the lack of research on older adults\u27 perceptions on disaster preparedness as aging affects the ability to react to emergency situations. To partially address that gap, the purpose of this general qualitative research study was to use Rotter\u27s spectrum of locus of control theory to examine the level of preparation regarding disaster preparation of older adults who were living independently in single-family homes in a state affected by Hurricane Sandy. Data were collected through a qualitative survey distributed to adults aged 65 to 80-years (N=88) and publicly available documents from federal and state emergency management agencies. These data were inductively coded and subjected to a thematic analysis procedure. Findings identified 3 themes that consisted of (a) delayed acceptance, (b) defective instinct, and, (c) unexpected effects of disasters. This study contributes to social change by helping emergency management officials understand the deficiencies in preparedness by an aging population which may in turn improve the quality of life for older adults by stressing proper preparation for sheltering in place or evacuation in the event of a disaster
Ranking Templates for Linear Loops
We present a new method for the constraint-based synthesis of termination
arguments for linear loop programs based on linear ranking templates. Linear
ranking templates are parametrized, well-founded relations such that an
assignment to the parameters gives rise to a ranking function. This approach
generalizes existing methods and enables us to use templates for many different
ranking functions with affine-linear components. We discuss templates for
multiphase, piecewise, and lexicographic ranking functions. Because these
ranking templates require both strict and non-strict inequalities, we use
Motzkin's Transposition Theorem instead of Farkas Lemma to transform the
generated -constraint into an -constraint.Comment: TACAS 201
The runaway binary LP 400-22 is leaving the Galaxy
We present optical spectroscopy, astrometry, radio and X-ray observations of the runaway binary LP 400-22. We refine the orbital parameters of the system based on our new radial velocity observations. Our parallax data indicate that LP 400-22 is significantly more distant (3Ï lower limit of 840pc) than initially predicted. LP 400-22 has a tangential velocity in excessof 830 km s-1; it is unbound to the Galaxy. Our radio and X-ray observations fail to detect a recycled millisecond pulsar companion, indicating that LP 400-22 is a double white dwarf system. This essentially rules out a supernova runaway ejection mechanism. Based on its orbit, a Galactic Centre origin is also unlikely. However, its orbit intersects the locations of several globular clusters; dynamical interactions between LP 400-22 and other binary stars or a central black hole in a dense cluster could explain the origin of this unusual binary.Instituto de AstrofĂsica de La Plat
Structure-activity relationships of the N-terminus of calcitonin gene-related peptide:key roles of alanine-5 and threonine-6 in receptor activation
Background and purpose - The N-terminus of calcitonin gene-related peptide (CGRP) is important for receptor activation, especially the disulphide-bonded ring (residues 1-7). However, the roles of individual amino acids within this region have not been examined and so the molecular determinants of agonism are unknown. This study has examined the role of residues 1, 3-6 and 8-9, excluding Cys-2 and Cys-7. Experimental approach - CGRP derivatives were substituted with either cysteine or alanine; further residues were introduced at position 6. Their affinity was measured by radioligand binding and their efficacy by measuring cAMP production in SK-N-MC cells and Ă-arrestin 2 translocation in CHO-K1 cells at the CGRP receptor. Key results - Substitution of Ala-5 by cysteine reduced affinity 270-fold and reduced efficacy for production of cAMP in SK-N-MCs. Potency at Ă-arrestin translocation was reduced by 9-fold. Substitution of Thr-6 by cysteine destroyed all measurable efficacy of both cAMP and Ă-arrestin responses; substitution with either alanine or serine impaired potency. Substitutions at positions 1, 4, 8 and 9 resulted in approximately 10-fold reductions in potency at both responses. Similar observations were made at a second CGRP-activated receptor, the AMY1(a) receptor. Conclusions and implications - Ala-5 and Thr-6 are key determinants of agonist activity for CGRP. Ala-5 is also very important for receptor binding. Residues outside of the 1-7 ring also contribute to agonist activity
Radiative Corrections to One-Photon Decays of Hydrogenic Ions
Radiative corrections to the decay rate of n=2 states of hydrogenic ions are
calculated. The transitions considered are the M1 decay of the 2s state to the
ground state and the E1(M2) decays of the and states to
the ground state. The radiative corrections start in order , but the method used sums all orders of . The leading
correction for the E1 decays is calculated and compared
with the exact result. The extension of the calculational method to parity
nonconserving transitions in neutral atoms is discussed.Comment: 22 pages, 2 figure
Proving termination and memory safety for programs with Pointer Arithmetic
Proving termination automatically for programs with explicit pointer arithmetic is still an open problem. To close this gap, we introduce a novel abstract domain that can track allocated memory in detail. We use it to automatically construct a symbolic execution graph that represents all possible runs of the program and that can be used to prove memory safety. This graph is then transformed into an integer transition system, whose termination can be proved by standard techniques. We implemented this approach in the automated termination prover AProVE and demonstrate its capability of analyzing C programs with pointer arithmetic that existing tools cannot handle
Unrestricted Termination and Non-Termination Arguments for Bit-Vector Programs
Proving program termination is typically done by finding a well-founded
ranking function for the program states. Existing termination provers typically
find ranking functions using either linear algebra or templates. As such they
are often restricted to finding linear ranking functions over mathematical
integers. This class of functions is insufficient for proving termination of
many terminating programs, and furthermore a termination argument for a program
operating on mathematical integers does not always lead to a termination
argument for the same program operating on fixed-width machine integers. We
propose a termination analysis able to generate nonlinear, lexicographic
ranking functions and nonlinear recurrence sets that are correct for
fixed-width machine arithmetic and floating-point arithmetic Our technique is
based on a reduction from program \emph{termination} to second-order
\emph{satisfaction}. We provide formulations for termination and
non-termination in a fragment of second-order logic with restricted
quantification which is decidable over finite domains. The resulted technique
is a sound and complete analysis for the termination of finite-state programs
with fixed-width integers and IEEE floating-point arithmetic
Observations and modeling of wave-supported sediment gravity flows on the Po prodelta and comparison to prior observations from the Eel shelf
Author Posting. © The Authors, 2006. This is the author's version of the work. It is posted here by permission of Elsevier B.V. for personal use, not for redistribution. The definitive version was published in Continental Shelf Research 27 (2007): 375-399, doi:10.1016/j.csr.2005.07.008.A mooring and tripod array was deployed from the fall of 2002 through the spring of 2003 on the Po prodelta to measure sediment transport processes associated with sediment delivered from the Po River. Observations on the prodelta revealed wave-supported gravity flows of high concentration mud suspensions that are dynamically and kinematically similar to those observed on the Eel shelf (Traykovski et al., 2000). Due to the dynamic similarity between the two sites, a simple one-dimensional across-shelf model with the appropriate bottom boundary condition was used to examine fluxes associated with this transport mechanism at both locations. To calculate the sediment concentrations associated with the wave-dominated and wave-current resuspension, a bottom boundary condition using a reference concentration was combined with an âactive layerâ formulation to limit the amount of sediment in suspension. Whereas the wave-supported gravity flow mechanism dominates the transport on the Eel shelf, on the Po prodelta flux due to this mechanism is equal in magnitude to transport due to wave resuspension and wind-forced mean currents in cross-shore direction. Southward transport due to wave resuspension and wind forced mean currents move an order of magnitude more sediment along-shore than the downslope flux associated wave-supported gravity flows.This work funded by the U.S. Office of Naval Research under grant number #N00014-02-10378, under the direction of program manager, Tom Drake
Alternating runtime and size complexity analysis of integer programs
We present a modular approach to automatic complexity analysis. Based on a novel alternation between finding symbolic time bounds for program parts and using these to infer size bounds on program variables, we can restrict each analysis step to a small part of the program while maintaining a high level of precision. Extensive experiments with the implementation of our method demonstrate its performance and power in comparison with other tools
Using the past to constrain the future: how the palaeorecord can improve estimates of global warming
Climate sensitivity is defined as the change in global mean equilibrium
temperature after a doubling of atmospheric CO2 concentration and provides a
simple measure of global warming. An early estimate of climate sensitivity,
1.5-4.5{\deg}C, has changed little subsequently, including the latest
assessment by the Intergovernmental Panel on Climate Change.
The persistence of such large uncertainties in this simple measure casts
doubt on our understanding of the mechanisms of climate change and our ability
to predict the response of the climate system to future perturbations. This has
motivated continued attempts to constrain the range with climate data, alone or
in conjunction with models. The majority of studies use data from the
instrumental period (post-1850) but recent work has made use of information
about the large climate changes experienced in the geological past.
In this review, we first outline approaches that estimate climate sensitivity
using instrumental climate observations and then summarise attempts to use the
record of climate change on geological timescales. We examine the limitations
of these studies and suggest ways in which the power of the palaeoclimate
record could be better used to reduce uncertainties in our predictions of
climate sensitivity.Comment: The final, definitive version of this paper has been published in
Progress in Physical Geography, 31(5), 2007 by SAGE Publications Ltd, All
rights reserved. \c{opyright} 2007 Edwards, Crucifix and Harriso
- âŠ